nc matrixrsa2.chal.crewc.tf 20002
mat = DomainMatrix([ [Zmodn(a), Zmodn(msgint) - Zmodn(a) ** 0x1337 - Zmodn(0xdeadbeef)], [Zmodn(0), Zmodn(a)] ], (2, 2), Zmodn)